Integrand size = 45, antiderivative size = 201 \[ \int \frac {\sqrt {\cos (c+d x)} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^{5/2}} \, dx=\frac {2 C \arcsin \left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {a+a \cos (c+d x)}}\right )}{a^{5/2} d}+\frac {(5 A+3 B-43 C) \arctan \left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {2} \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}\right )}{16 \sqrt {2} a^{5/2} d}-\frac {(A-B+C) \cos ^{\frac {3}{2}}(c+d x) \sin (c+d x)}{4 d (a+a \cos (c+d x))^{5/2}}+\frac {(5 A+3 B-11 C) \sqrt {\cos (c+d x)} \sin (c+d x)}{16 a d (a+a \cos (c+d x))^{3/2}} \]
[Out]
Time = 0.92 (sec) , antiderivative size = 201, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.156, Rules used = {3120, 3056, 3061, 2861, 211, 2853, 222} \[ \int \frac {\sqrt {\cos (c+d x)} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^{5/2}} \, dx=\frac {(5 A+3 B-43 C) \arctan \left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {2} \sqrt {\cos (c+d x)} \sqrt {a \cos (c+d x)+a}}\right )}{16 \sqrt {2} a^{5/2} d}+\frac {2 C \arcsin \left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {a \cos (c+d x)+a}}\right )}{a^{5/2} d}-\frac {(A-B+C) \sin (c+d x) \cos ^{\frac {3}{2}}(c+d x)}{4 d (a \cos (c+d x)+a)^{5/2}}+\frac {(5 A+3 B-11 C) \sin (c+d x) \sqrt {\cos (c+d x)}}{16 a d (a \cos (c+d x)+a)^{3/2}} \]
[In]
[Out]
Rule 211
Rule 222
Rule 2853
Rule 2861
Rule 3056
Rule 3061
Rule 3120
Rubi steps \begin{align*} \text {integral}& = -\frac {(A-B+C) \cos ^{\frac {3}{2}}(c+d x) \sin (c+d x)}{4 d (a+a \cos (c+d x))^{5/2}}+\frac {\int \frac {\sqrt {\cos (c+d x)} \left (\frac {1}{2} a (5 A+3 B-3 C)+4 a C \cos (c+d x)\right )}{(a+a \cos (c+d x))^{3/2}} \, dx}{4 a^2} \\ & = -\frac {(A-B+C) \cos ^{\frac {3}{2}}(c+d x) \sin (c+d x)}{4 d (a+a \cos (c+d x))^{5/2}}+\frac {(5 A+3 B-11 C) \sqrt {\cos (c+d x)} \sin (c+d x)}{16 a d (a+a \cos (c+d x))^{3/2}}+\frac {\int \frac {\frac {1}{4} a^2 (5 A+3 B-11 C)+8 a^2 C \cos (c+d x)}{\sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}} \, dx}{8 a^4} \\ & = -\frac {(A-B+C) \cos ^{\frac {3}{2}}(c+d x) \sin (c+d x)}{4 d (a+a \cos (c+d x))^{5/2}}+\frac {(5 A+3 B-11 C) \sqrt {\cos (c+d x)} \sin (c+d x)}{16 a d (a+a \cos (c+d x))^{3/2}}+\frac {(5 A+3 B-43 C) \int \frac {1}{\sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}} \, dx}{32 a^2}+\frac {C \int \frac {\sqrt {a+a \cos (c+d x)}}{\sqrt {\cos (c+d x)}} \, dx}{a^3} \\ & = -\frac {(A-B+C) \cos ^{\frac {3}{2}}(c+d x) \sin (c+d x)}{4 d (a+a \cos (c+d x))^{5/2}}+\frac {(5 A+3 B-11 C) \sqrt {\cos (c+d x)} \sin (c+d x)}{16 a d (a+a \cos (c+d x))^{3/2}}-\frac {(5 A+3 B-43 C) \text {Subst}\left (\int \frac {1}{2 a^2+a x^2} \, dx,x,-\frac {a \sin (c+d x)}{\sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}\right )}{16 a d}-\frac {(2 C) \text {Subst}\left (\int \frac {1}{\sqrt {1-\frac {x^2}{a}}} \, dx,x,-\frac {a \sin (c+d x)}{\sqrt {a+a \cos (c+d x)}}\right )}{a^3 d} \\ & = \frac {2 C \arcsin \left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {a+a \cos (c+d x)}}\right )}{a^{5/2} d}+\frac {(5 A+3 B-43 C) \arctan \left (\frac {\sqrt {a} \sin (c+d x)}{\sqrt {2} \sqrt {\cos (c+d x)} \sqrt {a+a \cos (c+d x)}}\right )}{16 \sqrt {2} a^{5/2} d}-\frac {(A-B+C) \cos ^{\frac {3}{2}}(c+d x) \sin (c+d x)}{4 d (a+a \cos (c+d x))^{5/2}}+\frac {(5 A+3 B-11 C) \sqrt {\cos (c+d x)} \sin (c+d x)}{16 a d (a+a \cos (c+d x))^{3/2}} \\ \end{align*}
Time = 2.84 (sec) , antiderivative size = 305, normalized size of antiderivative = 1.52 \[ \int \frac {\sqrt {\cos (c+d x)} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^{5/2}} \, dx=-\frac {\left (44 C \arcsin \left (\sqrt {1-\cos (c+d x)}\right ) \cos ^4\left (\frac {1}{2} (c+d x)\right )+172 C \arcsin \left (\sqrt {\cos (c+d x)}\right ) \cos ^4\left (\frac {1}{2} (c+d x)\right )+2 \sqrt {2} (5 A+3 B-43 C) \arctan \left (\frac {\sqrt {\cos (c+d x)}}{\sqrt {\sin ^2\left (\frac {1}{2} (c+d x)\right )}}\right ) \cos ^4\left (\frac {1}{2} (c+d x)\right )-A \sqrt {1-\cos (c+d x)} \cos ^{\frac {3}{2}}(c+d x)-7 B \sqrt {1-\cos (c+d x)} \cos ^{\frac {3}{2}}(c+d x)+15 C \sqrt {1-\cos (c+d x)} \cos ^{\frac {3}{2}}(c+d x)-5 A \sqrt {-((-1+\cos (c+d x)) \cos (c+d x))}-3 B \sqrt {-((-1+\cos (c+d x)) \cos (c+d x))}+11 C \sqrt {-((-1+\cos (c+d x)) \cos (c+d x))}\right ) \sin (c+d x)}{16 d \sqrt {1-\cos (c+d x)} (a (1+\cos (c+d x)))^{5/2}} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(588\) vs. \(2(170)=340\).
Time = 9.28 (sec) , antiderivative size = 589, normalized size of antiderivative = 2.93
method | result | size |
default | \(-\frac {\left (5 A \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \left (\cos ^{2}\left (d x +c \right )\right )+3 B \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \left (\cos ^{2}\left (d x +c \right )\right )-43 C \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \left (\cos ^{2}\left (d x +c \right )\right )+10 A \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \cos \left (d x +c \right )-2 A \cos \left (d x +c \right ) \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}+6 B \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \cos \left (d x +c \right )-14 B \cos \left (d x +c \right ) \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}-86 C \cos \left (d x +c \right ) \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )-64 C \left (\cos ^{2}\left (d x +c \right )\right ) \arctan \left (\tan \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\right )+30 C \cos \left (d x +c \right ) \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}+5 A \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )-10 A \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, \sin \left (d x +c \right )+3 B \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )-6 B \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}-43 C \sqrt {2}\, \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )-128 C \cos \left (d x +c \right ) \arctan \left (\tan \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\right )+22 C \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}-64 C \arctan \left (\tan \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\right )\right ) \sqrt {a \left (1+\cos \left (d x +c \right )\right )}\, \left (\sqrt {\cos }\left (d x +c \right )\right )}{32 a^{3} d \left (1+\cos \left (d x +c \right )\right )^{3} \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}}\) | \(589\) |
parts | \(\frac {A \left (\sqrt {2}\, \cos \left (d x +c \right ) \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}+5 \sin \left (d x +c \right ) \sqrt {2}\, \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}-5 \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \left (\cos ^{2}\left (d x +c \right )\right )-10 \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \cos \left (d x +c \right )-5 \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )\right ) \left (\sqrt {\cos }\left (d x +c \right )\right ) \sqrt {a \left (1+\cos \left (d x +c \right )\right )}\, \sqrt {2}}{32 d \left (1+\cos \left (d x +c \right )\right )^{3} \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, a^{3}}+\frac {B \left (7 \sqrt {2}\, \cos \left (d x +c \right ) \sin \left (d x +c \right ) \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}+3 \sin \left (d x +c \right ) \sqrt {2}\, \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}-3 \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \left (\cos ^{2}\left (d x +c \right )\right )-6 \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right ) \cos \left (d x +c \right )-3 \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )\right ) \left (\sqrt {\cos }\left (d x +c \right )\right ) \sqrt {a \left (1+\cos \left (d x +c \right )\right )}\, \sqrt {2}}{32 d \left (1+\cos \left (d x +c \right )\right )^{3} \sqrt {\frac {\cos \left (d x +c \right )}{1+\cos \left (d x +c \right )}}\, a^{3}}-\frac {C {\left (-\frac {\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}-1}{\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1}\right )}^{\frac {5}{2}} {\left (\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1\right )}^{3} \sqrt {\frac {a}{\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1}}\, \left (-2 \left (\csc ^{3}\left (d x +c \right )\right ) \sqrt {-\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1}\, \left (1-\cos \left (d x +c \right )\right )^{3}+32 \sqrt {2}\, \arctan \left (\frac {\sqrt {2}\, \sqrt {-\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1}\, \left (\csc \left (d x +c \right )-\cot \left (d x +c \right )\right )}{\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}-1}\right )+13 \sqrt {-\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1}\, \left (\csc \left (d x +c \right )-\cot \left (d x +c \right )\right )-43 \arcsin \left (\cot \left (d x +c \right )-\csc \left (d x +c \right )\right )\right ) \sqrt {2}}{32 d {\left (-\left (\csc ^{2}\left (d x +c \right )\right ) \left (1-\cos \left (d x +c \right )\right )^{2}+1\right )}^{\frac {5}{2}} a^{3}}\) | \(723\) |
[In]
[Out]
none
Time = 35.86 (sec) , antiderivative size = 283, normalized size of antiderivative = 1.41 \[ \int \frac {\sqrt {\cos (c+d x)} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^{5/2}} \, dx=-\frac {\sqrt {2} {\left ({\left (5 \, A + 3 \, B - 43 \, C\right )} \cos \left (d x + c\right )^{3} + 3 \, {\left (5 \, A + 3 \, B - 43 \, C\right )} \cos \left (d x + c\right )^{2} + 3 \, {\left (5 \, A + 3 \, B - 43 \, C\right )} \cos \left (d x + c\right ) + 5 \, A + 3 \, B - 43 \, C\right )} \sqrt {a} \arctan \left (\frac {\sqrt {2} \sqrt {a \cos \left (d x + c\right ) + a} \sqrt {\cos \left (d x + c\right )}}{\sqrt {a} \sin \left (d x + c\right )}\right ) - 2 \, {\left ({\left (A + 7 \, B - 15 \, C\right )} \cos \left (d x + c\right ) + 5 \, A + 3 \, B - 11 \, C\right )} \sqrt {a \cos \left (d x + c\right ) + a} \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right ) + 64 \, {\left (C \cos \left (d x + c\right )^{3} + 3 \, C \cos \left (d x + c\right )^{2} + 3 \, C \cos \left (d x + c\right ) + C\right )} \sqrt {a} \arctan \left (\frac {\sqrt {a \cos \left (d x + c\right ) + a} \sqrt {\cos \left (d x + c\right )}}{\sqrt {a} \sin \left (d x + c\right )}\right )}{32 \, {\left (a^{3} d \cos \left (d x + c\right )^{3} + 3 \, a^{3} d \cos \left (d x + c\right )^{2} + 3 \, a^{3} d \cos \left (d x + c\right ) + a^{3} d\right )}} \]
[In]
[Out]
Timed out. \[ \int \frac {\sqrt {\cos (c+d x)} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^{5/2}} \, dx=\text {Timed out} \]
[In]
[Out]
\[ \int \frac {\sqrt {\cos (c+d x)} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^{5/2}} \, dx=\int { \frac {{\left (C \cos \left (d x + c\right )^{2} + B \cos \left (d x + c\right ) + A\right )} \sqrt {\cos \left (d x + c\right )}}{{\left (a \cos \left (d x + c\right ) + a\right )}^{\frac {5}{2}}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\sqrt {\cos (c+d x)} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^{5/2}} \, dx=\text {Timed out} \]
[In]
[Out]
Timed out. \[ \int \frac {\sqrt {\cos (c+d x)} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^{5/2}} \, dx=\int \frac {\sqrt {\cos \left (c+d\,x\right )}\,\left (C\,{\cos \left (c+d\,x\right )}^2+B\,\cos \left (c+d\,x\right )+A\right )}{{\left (a+a\,\cos \left (c+d\,x\right )\right )}^{5/2}} \,d x \]
[In]
[Out]